Algorithmic solvability of the lifting-extension problem

Algorithmic Properties of Polynomial Rings

In this paper we investigate how algorithms for computing heights, radicals, unmixed and primary decompositions of ideals can be lifted from a Noetherian commutative ring R to polynomial rings over R. It is a standard problem in mathematics to study which properties of a mathematical structure are preserved in derived structures. A typical result of this kind is the Hilbert Basis Theorem which ...

A Generalization of the Meir-Keeler Condensing Operators and its Application to Solvability of a System of Nonlinear Functional Integral Equations of Volterra Type

In this paper, we generalize the Meir-Keeler condensing  operators  via a concept of the class of operators  $ O (f;.)$, that was given by Altun and Turkoglu [4], and apply this extension to obtain some tripled fixed point theorems.  As an application of this extension, we  analyze the existence of solution for a system of nonlinear functional integral equations of Volterra type. Finally,  we p...

ررسی شرط پیکارد در مسأله انتقال به سمت پائین در تعیین ژئوئید بدون استفاده از روش استوکس

The problem of downward continuation of the gravity field from the Earth’s surface to the reference ellipsoid arises from the fact that the solution to the boundary value problem for geoid determination without applying Stokes formula is sought in terms of the disturbing potential on the ellipsoid but the gravity observations are only available on the Earth’s surface. Downward continuation is a...

Solvability of Systems of Polynomial Equations over Finite Algebras

We study the algorithmic complexity of determining whether a system of polynomial equations over a finite algebra admits a solution. We prove that the problem has a dichotomy in the class of finite groupoids with an identity element. By developing the underlying idea further, we present a dichotomy theorem in the class of finite algebras that admit a non-trivial idempotent Maltsev condition. Th...

Lifting Problem in Codimension 2 and Initial Ideals